-
1 inductively ordered set
English-Russian scientific dictionary > inductively ordered set
-
2 inductively ordered set
Математика: индуктивно упорядоченное множествоУниверсальный англо-русский словарь > inductively ordered set
См. также в других словарях:
БИКОМПАКТНОЕ РАСШИРЕНИЕ — (би)компактификация, расширение топологического пространства, являющееся бикомпактным пространством. Б. р. существуют у любого топологич. пространства, у любого T1 пространства есть Б. р., являющиеся T1 пространствами, но наибольший интерес… … Математическая энциклопедия
АВТОМАТОВ СПОСОБЫ ЗАДАНИЯ — варианты описания автоматов, их функционирования или поведения. А. с. з. зависят от подхода к определению понятия автомата. При макроподходе (см. Автомат конечный).описывается внешнее поведение автомата; при микроподходе задание должно содержать… … Математическая энциклопедия
ИСЧИСЛЕНИЕ — 1) Составная часть названия нек рых разделов математики, трактующих правила вычислений и оперирования с объектами того или иного типа; напр., дифференциальное И., вариационное И. 2) Дедуктивная система, т. е. способ задания множества путем… … Математическая энциклопедия
Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики) семейство языков представления знаний … Википедия
ТЕОРИЯ — (от греч. оеяркх умозрение) 1) в широком смысле вид человеческой деятельности, направленный на получение обоснованного объективно истинного знания о природной и социальной реальности в целях ее духовного и практического освоения; 2) в узком… … Современный философский словарь